#semántica de modelos estables